
    var f4 = <U extends T, T>(x: T, y: U): T => {
        x = y;
        return y;
    }
    